S. Feferman: przeszukaj witrynę Z-Library

Kurt Godel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg

Rok:

2013

Język:

english

Plik:

PDF, 29.59 MB

5.0 / 3.0

english, 2013

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Rok:

1986

Język:

english

Plik:

PDF, 26.18 MB

3.0 / 4.0

english, 1986

Kurt Godel: Collected Works: Volume V

Kurt Godel, Solomon Feferman, John W. Dawson Jr, Warren Goldfarb, Charles Parsons, Wilfried Sieg

Rok:

2013

Język:

english

Plik:

PDF, 27.49 MB

5.0 / 3.0

english, 2013

Alfred Tarski: Life and Logic

Anita Burdman Feferman, Solomon Feferman

Rok:

2008

Język:

english

Plik:

PDF, 4.42 MB

0 / 0

english, 2008

Collected works. Publications 1938-1974

Clarendon Press; Oxford University Press

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort

Rok:

1989

Język:

english

Plik:

DJVU, 3.42 MB

0 / 0

english, 1989

Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay

Rok:

1995

Język:

english

Plik:

DJVU, 4.74 MB

0 / 0

english, 1995

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Rok:

1986

Język:

english

Plik:

DJVU, 13.27 MB

0 / 0

english, 1986

Kurt Gödel: Essays for his Centennial

Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 1.48 MB

0 / 0

english, 2010

In the Light of Logic

Rok:

1998

Język:

english

Plik:

PDF, 20.89 MB

0 / 0

english, 1998

The number systems: Foundations of algebra and analysis

Addison-Wesley

Clarendon Press; Oxford University Press

Rok:

1964

Język:

english

Plik:

PDF, 22.29 MB

0 / 0

english, 1964

Kurt Gödel: Collected works. Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Rok:

1986

Język:

english

Plik:

DJVU, 4.26 MB

0 / 0

english, 1986

The Number Systems: foundations of algebra and analysis

Rok:

1964

Język:

english

Plik:

DJVU, 44.36 MB

0 / 0

english, 1964

Alfred Tarski: Life and Logic

Anita Burdman Feferman, Solomon Feferman

Rok:

2008

Język:

english

Plik:

PDF, 6.22 MB

0 / 0

english, 2008

From Trotsky to Gödel: The Life of Jean van Heijenoort

A K Peters/CRC Press

Anita Burdman Feferman

Rok:

2000

Język:

english

Plik:

PDF, 43.68 MB

0 / 0

english, 2000

Model-Theoretic Logics

J. Barwise (editor), S. Feferman (editor)

Rok:

2017

Język:

english

Plik:

PDF, 44.17 MB

0 / 0

english, 2017

Politics, Logic, and Love : The Life of Jean van Heijenoort

Peters

Anita Burdman Feferman

Rok:

1994

Język:

english

Plik:

PDF, 29.26 MB

0 / 0

english, 1994

Beyond the Pale: The Holocaust in the North Caucasus

University of Rochester Press

Crispin Brooks, Kiril Feferman

Rok:

2020

Język:

english

Plik:

PDF, 3.63 MB

0 / 0

english, 2020

Kurt Gödel Collected Works, Volume V Correspondence H-Z

Clarendon Press, Oxford

Solomon Feferman, John W. Dawson Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg

Rok:

2003

Język:

english

Plik:

PDF, 27.89 MB

5.0 / 4.0

english, 2003

Collected Works: Volume I: Publications 1929-1936 (Collected Works of Kurt Godel)

Kurt Godel, Solomon Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), Gregory H. Moore (editor), Robert M. Solovay (editor), Jean van Heijenoort (editor)

Rok:

1986

Język:

english

Plik:

PDF, 33.44 MB

0 / 0

english, 1986

Model-theoretic logics

Barwise, Jon, Feferman, Solomon (eds.)

Rok:

1985

Język:

english

Plik:

PDF, 21.35 MB

0 / 0

english, 1985

Model-theoretic logics

Barwise, Jon, Feferman, Solomon (eds.)

Rok:

1985

Język:

english

Plik:

DJVU, 7.46 MB

0 / 0

english, 1985

Collected Works. - Unpublished essays and lectures

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay

Rok:

1995

Język:

english

Plik:

DJVU, 4.67 MB

0 / 0

english, 1995

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 6.75 MB

0 / 0

english, 2011

Collected Works. Vol. 4. Correspondence A-G

Clarendon, Oxford University Press

Kurt Gödel, Solomon Feferman, et al

Rok:

2003

Język:

english

Plik:

DJVU, 5.42 MB

0 / 0

english, 2003

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

OUP USA

Kurt Gödel, S. Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), G. Moore (editor), R. Solovay (editor), Jean van Heijenoort (editor)

Rok:

1986

Język:

english

Plik:

PDF, 27.79 MB

3.0 / 0

english, 1986

The number systems_ Foundations of algebra and analysis

University of Rochester Press

Język:

english

Plik:

PDF, 23.00 MB

0 / 0

english

Beyond the Pale: The Holocaust in the North Caucasus

Crispin Brooks & Kiril Feferman [Brooks, Crispin & Feferman, Kiril]

Rok:

2020

Język:

english

Plik:

PDF, 3.86 MB

0 / 0

english, 2020

Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Feferman Solomon

Język:

english

Plik:

PDF, 113 KB

0 / 0

english

Alfred Tarski: Life and Logic

Anita Burdman Feferman, Solomon Feferman

Rok:

2008

Język:

english

Plik:

DJVU, 5.45 MB

0 / 0

english, 2008

Collected Works. Vol. 5. Correspondence H-Z

Kurt Gödel, Solomon Feferman

Rok:

2003

Język:

english

Plik:

DJVU, 5.28 MB

0 / 0

english, 2003

In the Light of Logic

Peter Knight, Flavio Feferman, Nathalia Foditsch

Rok:

1998

Język:

english

Plik:

DJVU, 3.99 MB

0 / 0

english, 1998

Banda Larga no Brasil : passado, presente e futuro

Figurati

Rok:

2016

Język:

portuguese

Plik:

MOBI , 6.43 MB

0 / 0

portuguese, 2016

Model-Theoretic Logics

Barwise, Jon, Feferman, Solomon (eds.)

Rok:

1985

Język:

english

Plik:

DJVU, 7.44 MB

0 / 0

english, 1985

In the Light of Logic

Rok:

1998

Język:

english

Plik:

DJVU, 5.98 MB

0 / 0

english, 1998

Alfred Tarski

Anita Burdman Feferman, Solomon Feferman, Professor of Math and Philosophy Solomon Feferman

Rok:

2004

Język:

english

Plik:

DJVU, 5.22 MB

0 / 5.0

english, 2004

Collected Works, Vol. IV: Correspondence A-G (Oxford, 2003)

Rok:

2023

Plik:

PDF, 31.69 MB

0 / 0

2023

Collected Works, Vol. II: Publications 1938-1974 (Oxford, 1990)

Rok:

2023

Plik:

PDF, 20.10 MB

5.0 / 4.0

2023

Collected Works, Vol. V: Correspondence H-Z (Oxford, 2003)

Rok:

2023

Plik:

PDF, 30.64 MB

0 / 0

2023

Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Rok:

2023

Plik:

PDF, 69.02 MB

4.0 / 0

2023

Collected Works, Vol. III: Unpublished Essays and Lectures (Oxford, 1995)

American Mathematical Society

Rok:

2023

Plik:

PDF, 20.18 MB

5.0 / 4.0

2023

“If we had wings we would fly to you”: A Soviet Jewish Family Faces Destruction, 1941–42

Academic Studies Press

Kiril Feferman

Rok:

2020

Język:

english

Plik:

PDF, 9.35 MB

0 / 0

english, 2020

The Number Systems: Foundations of Algebra and Analysis

Feferman, Solomon

Rok:

2005

Język:

english

Plik:

PDF, 32.80 MB

0 / 5.0

english, 2005

Microsoft Word - Tarski at CÉ

R.O. Gandy, C.E.M. Yates, Solomon Feferman, Andrew Hodges, Jack Good and Martin Campbell-Kelly (Eds.)

Plik:

PDF, 52 KB

0 / 0

Mathematical Logic

North Holland

Rok:

2001

Język:

english

Plik:

PDF, 10.22 MB

5.0 / 0

english, 2001

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)

Rok:

1981

Język:

english

Plik:

PDF, 5.26 MB

0 / 0

english, 1981

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Rok:

1981

Język:

english

Plik:

DJVU, 2.62 MB

0 / 0

english, 1981

Reports of the Midwest Category Seminar III

M. Barr, P. Berthiaume, B. J. Day, J. Duskin, S. Feferman, G. M. Kelly, S. Mac Lane, M. Tierney, R. F. C. Walters (auth.)

Rok:

1969

Język:

english

Plik:

PDF, 2.47 MB

0 / 0

english, 1969

Reports of the Midwest Category Seminar III

M. Barr, P. Berthiaume, B. J. Day, J. Duskin, S. Feferman, G. M. Kelly, S. Mac Lane, M. Tierney, R. F. C. Walters (auth.)

Rok:

1969

Język:

english

Plik:

PDF, 6.45 MB

0 / 0

english, 1969

Iterated Inductive Definitions and Subsystems of Analysis

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Rok:

1981

Język:

english

Plik:

DJVU, 2.47 MB

0 / 0

english, 1981

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies